This work is the second part of a critical textual edition that is devoted to an extraordinarily rich collection of manuscripts with equally remarkable historical significance dating from late Christian antiquity.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

Grote's powerful defence of Thrasyllus' canon should have taught us at least not to reject lightly any dialogue which, like the Hippias Maior, is there classed as genuine. The burden of proof lies with those who attack our dialogue. Raeder, Ritter, and Apelt consider it to be genuine, while Ast, Jowett, Horneffer, and Röllig declare against it, as also Gomperz, Zeller, and Lutoslawski.

Grote's powerful defence of Thrasyllus' canon should have taught us at least not to reject lightly any dialogue which, like the Hippias Maior, is there classed as genuine. The burden of proof lies with those who attack our dialogue. Raeder, Ritter, and Apelt consider it to be genuine, while Ast, Jowett, Horneffer, and Röllig declare against it, as also Gomperz, Zeller, and Lutoslawski.

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...) Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

Presents 3 hermeneutic answers to the problem of relativism. The 1st answer is drawn from L. Wittgenstein's anthropological hermeneutics. Wittgenstein went beyond relativism by making explicit universal anthropological categories that are specified differently in different cultures. The 2nd answer lies in H.-G. Gadamer's historical hermeneutics. By introducing the concepts of tradition and fusion of horizons, Gadamer evades both absolutism and relativism. The 3rd answer is developed by J. Habermas in his critical hermeneutics. By situating communicative action in the life-world, and (...) stressing the possibility of discussion and critique, Habermas can ascertain that there is no absolute truth without having to surrender to relativism. 2012 APA, all rights reserved). (shrink)

Background: Older, frail patients with multimorbidity are at an especially high risk for disease severity and death from COVID-19. The social restrictions proved challenging for the residents, their relatives, and the care staff. While these restrictions clearly impacted daily life in Norwegian nursing homes, knowledge about how the pandemic influenced nursing practice is sparse. Aim: The aim of the study was to illuminate ethical difficult situations experienced by Norwegian nurses working in nursing homes during the COVID-19 pandemic. Research design and (...) participants: The research design involved semistructured individual interviews conducted with 15 nurses working in 8 nursing homes in 3 health regions in Norway, within both urban and rural areas. Ethical considerations: Oral and written information about the study was provided before the participants gave their written consent. The transcribed interviews were de-identified. The study was approved by the Norwegian Centre for Research Data. Findings: Four ethical difficult situations were identified: (a) turning the nursing home into a prison; (b) using medication to maintain peace and order; (c) being left alone with the responsibility; and (d) s. impact on decision-making. Conclusions: The nurses’ ethical challenges were intertwined with external factors, such as national and local guidelines, and the nurses’ own internalized factors, which were connected to their subjective professionality. This duality inflicted emotional distress and gave nurses few opportunities to perform nursing in a professionally sound and safe manner. (shrink)

The dominant position in Philosophy of Science contends that downward causation is an illusion. Instead, we argue that downward causation doesn’t introduce vicious circles either in physics or in biology. We also question the metaphysical claim that “physical facts fix all the facts.” Downward causation does not imply any contradiction if we reject the assumption of the completeness and the causal closure of the physical world that this assertion contains. We provide an argument for rejecting this assumption. Furthermore, this allows (...) us to reconsider the concept of diachronic emergence. (shrink)

Im institutionalisierten Bereich interkultureller Beziehungen kommt es permanent zu Bemühungen, über gemeinsame musikalische Projekte Brücken zum Austausch von Lebensrealitäten und Erfahrungen zu erzielen. In vielen Fällen besteht jedoch nicht die Gelegenheit des gegenseitigen Austausches, weil die beteiligten Akteure entweder nebeneinander agieren, ohne aufeinander einzugehen und die Impulse ihres Gegenübers in den eigenen Beiträgen zu reflektieren, oder aber eine der beiden Bestandteile den anderen dominiert, und keine entsprechende Gelegenheit zur gleichberechtigten Artikulation einräumt. Der Grund dafür liegt häufig in der Starrheit der (...) musikalischen Systeme, die bei solchen Gelegenheiten aufeinander treffen und deren Unfähigkeit, auf Impulse außerhalb des jeweiligen Bezugsrahmens einzugehen. Die Improvisation bietet in diesem Zusammenhang einen tatsächlichen Spielplatz für unterschiedliche Zugänge und Entwürfe, der dazu einlädt, sich spielerisch einander anzunähern. Während im idiomatisch eingeschränkten Ausdrucksspektrum auch hier noch einige Barrieren existieren dürften, stellt sich im Kontext der harmonisch und rhythmisch freien Variante eine scheinbar ideale Basis zum gegenseitigen Erfahrungsaustausch dar. Diese wird nicht zuletzt aufgrund einer stark individualisierten Klangästhetik und Ausdruckspalette erzielt, deren Repräsentationsanteil an deutlich zuzuordnenden Elementen einer jeweiligen kulturellen Entität jedoch oft nicht exakt zu bestimmen ist. So widmet sich ein zentraler Aspekt der Arbeit der Frage nach der Zuweisungsebene der in diesem Zusammenhang getätigten Ausdrucksweisen, die sich im Bereich zwischen eindeutig einer bestimmten kulturellen Entität zuzuordnenden Elemente – häufig in Form von traditionellen Instrumenten als kulturelle Artefakte einer spezifischen regionalen Zugehörigkeit – und der rein technischen Herangehensweise an die musikalische Praxis der Kollektiv-Improvisation als Bestandteil einer global präsenten Subkultur der freien Improvisationsszene bewegt. Regelmäßig initiierte Projekte, die sich mit dieser Thematik auseinandersetzen werden im methodischen Teil der Arbeit zur Diskussion gestellt und als Ausgangspunkt für Erkenntnisse zur Optimierung von Projekten mit ähnlich ausgerichteten Zielsetzungen herangezogen. (shrink)

Tuberculosis (TB) is a potentially fatal infectious disease that, in Aotearoa New Zealand (NZ), inequitably affects Asian, Pacific, Middle Eastern, Latin American, and African (MELAA), and Māori people. Medical research involving genome sequencing of TB samples enables more nuanced understanding of disease strains and their transmission. This could inform highly specific health interventions. However, the collection and management of TB isolate samples for research are currently informed by monocultural biomedical models often lacking key ethical considerations. Drawing on a qualitative kaupapa (...) Māori–consistent study, this paper reports on preliminary discussions with groups of Māori, Pacific, and Afghan people in NZ, whose communities have been harmed by TB and TB stigma. Participants’ discussions highlight key concerns and meanings that ought to inform the development of guidelines and a more robust consultative process for the governance of how TB isolate samples are collected and used both retrospectively and in future research. We argue for ethical processes to be culturally nuanced and community-generated, flexible and meaningful, and situated in relation to the physical and symbolic effects of TB. We discuss the significance of Indigenous data sovereignty, rights, and kāwanatanga (governorship) in shaping a multicultural data sovereignty model. (shrink)

This paper analyses how security affects well-being. Security is understood as someone’s sureness of enjoying some good in the future; well-being is treated as a matter of human flourishing. Security can contribute to our well-being in various ways: if we are in fact bound to enjoy a good, in principle this is positive for our flourishing in the future; if we also believe that we will enjoy this good, we can be more efficient in pursuing our well-being; if we also (...) feel secure, this supports our enjoyment of our physical and mental capacities. For some of these benefits to obtain fully, however, it is important that our beliefs and feelings align with the facts. Furthermore, mirroring security’s upsides, there are also ways in which security can hamper our flourishing: it can obstruct the change, surprise, and pleasurable fear that are sometimes required for a good life too. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Name der Zeitschrift: Das Mittelalter Jahrgang: 19 Heft: 2 Seiten: 302-325.

This chapter aims at pointing out the correspondences between the transformative Five Percenter process of self-cultivation outlined in the Supreme Mathematics and previous interpretations articulated and transmitted in the sapiential traditions of Islam, Christianity, or Taoism.

Ausgehend von der, von Journalisten und Musikern immer wieder bemühten Metapher des 'Black CNN' wird versucht, das Potenzial der musikalischen Ausdrucksform des HipHop als Kommunikationsstruktur der Schwarzen Minderheit in den USA zu analysieren. Nach einer historisch-kulturellen Erläuterung, die sich mit der Tradition der Reflektion sozialer und politischer Aspekte in den unterschiedlichen musikalischen Äußerungen der Schwarzen Volksgruppe in den USA beschäftigt und schon ansatzweise die Bedeutung dieser Ausdrucksmöglichkeit im Kontext eines 'internal colonialsm' vor Augen führt, werden jene soziodemographischen Entwicklungen nachvollziehbar gemacht, (...) die sich als zentraler Kritikpunkt in den verbalen Artikulationen des HipHop widerspiegeln. Bestehende mediale Dysfunktionen hinsichtlich der Repräsentation von Angehörigen der Schwarzen Minderheit werden mit einem entsprechenden Fallbeispiel belegt. Vor dem theoretischem Hintergrund von 'cultural citizenship' - ein Konzept zur Bestimmung kultureller Teilhabe in der Mediengesellschaft -, werden 25 Textbeispiele, die sich auf HipHop-Veröffentlichungen von 1982 bis 2004 finden, auf ihre Übereinstimmung mit Indikatoren untersucht, die sich aus, den Medien zugeschriebenen, politischen und sozialen Funktionen ableiten lassen. Die angewandte Inhaltsanalyse lässt zahlreiche Entsprechungen erkennen, die sich zum Teil in komplexen, der Kritik- und Kontrollfunktion bzw. Integrationsfunktion der Medien zuzuordnenden Inhalten äußern. (shrink)

(No abstract is available for this citation).

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)